#Density : 3053085733269174144193478531/6400000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {11, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 173618202726198390391549561/1000000000000000000000000000 0/1 -22069536994182557672152497/200000000000000000000000000 -16925470738345426014007013/500000000000000000000000000 -10974892637899054162163531/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 -22069536994182557672152497/200000000000000000000000000 0/1 132190452607388748318666279/1000000000000000000000000000 -37540170857795615642352573/1000000000000000000000000000 -5302865947216569224359413/500000000000000000000000000
0/1 -16925470738345426014007013/500000000000000000000000000 0/1 -37540170857795615642352573/1000000000000000000000000000 292244895633195217545434551/1000000000000000000000000000 -56510499384233728598761109/500000000000000000000000000
0/1 -10974892637899054162163531/1000000000000000000000000000 0/1 -5302865947216569224359413/500000000000000000000000000 -56510499384233728598761109/500000000000000000000000000 124555857727259447722469959/1000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 11627662500673524154601469/125000000000000000000000000 0/1 -53294462162368794852628329/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -53294462162368794852628329/500000000000000000000000000 0/1 208949316833351874640903317/1000000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 131495826403928242974663261/1000000000000000000000000000 -126841308746880671603649/1562500000000000000000000
0/1 0/1 -126841308746880671603649/1562500000000000000000000 19809737420260361049821241/200000000000000000000000000


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
27416475295011639084661793/200000000000000000000000000 -17104426260986188232327639/500000000000000000000000000 -12507719153703303965141409/500000000000000000000000000
-17104426260986188232327639/500000000000000000000000000 9527265546402034464244437/250000000000000000000000000 -5995943710988496080122583/250000000000000000000000000
-12507719153703303965141409/500000000000000000000000000 -5995943710988496080122583/250000000000000000000000000 31625859986451835384359319/500000000000000000000000000


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
9801201/125000000


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 31700171/500000000


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1870436521711460497468214037/500000000000000000000000000 1048969859723860908215260613/250000000000000000000000000 -203160481489203710317699381/250000000000000000000000000 420227509713758694798203893/500000000000000000000000000 -1383440536748405162820607271/250000000000000000000000000 -26490261406995520173105883/31250000000000000000000000 -69209073634613783881847303/500000000000000000000000000 1334152258773807247457541/50000000000000000000000000 -68059022144175023312771989/100000000000000000000000000 76443930724908115503800017/500000000000000000000000000 -194180057533294855496535009/250000000000000000000000000 -115343345277117409688431929/500000000000000000000000000
1048969859723860908215260613/250000000000000000000000000 4706228749649438445150386913/1000000000000000000000000000 -455742216954074134566972653/500000000000000000000000000 942680462855797446413013551/1000000000000000000000000000 -6206839564665609996521664059/1000000000000000000000000000 -950793608721741418732452273/1000000000000000000000000000 -38813524574162322029324889/250000000000000000000000000 14964266145566684804612013/500000000000000000000000000 -763371138108725507138594889/1000000000000000000000000000 171483775347732021240195821/1000000000000000000000000000 -435596771395048985807729743/500000000000000000000000000 -258745357126760172289656577/1000000000000000000000000000
-203160481489203710317699381/250000000000000000000000000 -455742216954074134566972653/500000000000000000000000000 86197670219263683770121/488281250000000000000000 -182574756897634675425460343/1000000000000000000000000000 1202117012986108458898653919/1000000000000000000000000000 92073040308769589149676513/500000000000000000000000000 30069021033691194934391739/1000000000000000000000000000 -1449111229878441057226717/250000000000000000000000000 147846811128258676714230453/1000000000000000000000000000 -33212325235158061429008591/1000000000000000000000000000 84364721654674973310995207/500000000000000000000000000 50112815053669135198086999/1000000000000000000000000000
420227509713758694798203893/500000000000000000000000000 942680462855797446413013551/1000000000000000000000000000 -182574756897634675425460343/1000000000000000000000000000 351327524118229585233396733/250000000000000000000000000 -621630047169611630842632847/500000000000000000000000000 -4547004577222036720487441/20000000000000000000000000 -147403734529856031770319883/1000000000000000000000000000 -105116681715259628288265873/500000000000000000000000000 -278116791852541259945120037/500000000000000000000000000 -162657323597950774854856101/500000000000000000000000000 -72803464391118306446703817/250000000000000000000000000 -25180120721914832393267319/500000000000000000000000000
-1383440536748405162820607271/250000000000000000000000000 -6206839564665609996521664059/1000000000000000000000000000 1202117012986108458898653919/1000000000000000000000000000 -621630047169611630842632847/500000000000000000000000000 4092964816507065371529273591/500000000000000000000000000 626980083026231325307487493/500000000000000000000000000 204757847844873181660477309/1000000000000000000000000000 -9867857929157540886492597/250000000000000000000000000 20135537118950660426443711/20000000000000000000000000 -22616246149489878480019021/100000000000000000000000000 143622389623694446922835589/125000000000000000000000000 85311988024628785020911183/250000000000000000000000000
-26490261406995520173105883/31250000000000000000000000 -950793608721741418732452273/1000000000000000000000000000 92073040308769589149676513/500000000000000000000000000 -4547004577222036720487441/20000000000000000000000000 626980083026231325307487493/500000000000000000000000000 706677089160814642092814773/200000000000000000000000000 -61932301924173173399867779/200000000000000000000000000 -20014693429760782441412421/31250000000000000000000000 -105029439835261171591771/15625000000000000000000000 -178545163230165444802619653/500000000000000000000000000 -37268464353712716647999859/250000000000000000000000000 -68862002194419797108091647/250000000000000000000000000
-69209073634613783881847303/500000000000000000000000000 -38813524574162322029324889/250000000000000000000000000 30069021033691194934391739/1000000000000000000000000000 -147403734529856031770319883/1000000000000000000000000000 204757847844873181660477309/1000000000000000000000000000 -61932301924173173399867779/200000000000000000000000000 2972877942134573518922752787/1000000000000000000000000000 -57840191723186277735172091/250000000000000000000000000 -77240763632975748254028873/1000000000000000000000000000 -192148872710892195046877851/1000000000000000000000000000 -302549880390341926723299167/500000000000000000000000000 -530514605447842636394180893/1000000000000000000000000000
1334152258773807247457541/50000000000000000000000000 14964266145566684804612013/500000000000000000000000000 -1449111229878441057226717/250000000000000000000000000 -105116681715259628288265873/500000000000000000000000000 -9867857929157540886492597/250000000000000000000000000 -20014693429760782441412421/31250000000000000000000000 -57840191723186277735172091/250000000000000000000000000 1671675616228222206833579039/500000000000000000000000000 -541764922519935551791401/15625000000000000000000000 -6085134282594910462272813/125000000000000000000000000 -164520136286208391403417307/500000000000000000000000000 -25463266142300438387941427/31250000000000000000000000
-68059022144175023312771989/100000000000000000000000000 -763371138108725507138594889/1000000000000000000000000000 147846811128258676714230453/1000000000000000000000000000 -278116791852541259945120037/500000000000000000000000000 20135537118950660426443711/20000000000000000000000000 -105029439835261171591771/15625000000000000000000000 -77240763632975748254028873/1000000000000000000000000000 -541764922519935551791401/15625000000000000000000000 639721496080538151075412411/500000000000000000000000000 -189309510489973158623931851/500000000000000000000000000 2170139260152591536279327/20000000000000000000000000 -77000411367802716766522687/500000000000000000000000000
76443930724908115503800017/500000000000000000000000000 171483775347732021240195821/1000000000000000000000000000 -33212325235158061429008591/1000000000000000000000000000 -162657323597950774854856101/500000000000000000000000000 -22616246149489878480019021/100000000000000000000000000 -178545163230165444802619653/500000000000000000000000000 -192148872710892195046877851/1000000000000000000000000000 -6085134282594910462272813/125000000000000000000000000 -189309510489973158623931851/500000000000000000000000000 982249635953264008001385073/500000000000000000000000000 -36933212634955575379662987/500000000000000000000000000 -144714173837260820851833293/500000000000000000000000000
-194180057533294855496535009/250000000000000000000000000 -435596771395048985807729743/500000000000000000000000000 84364721654674973310995207/500000000000000000000000000 -72803464391118306446703817/250000000000000000000000000 143622389623694446922835589/125000000000000000000000000 -37268464353712716647999859/250000000000000000000000000 -302549880390341926723299167/500000000000000000000000000 -164520136286208391403417307/500000000000000000000000000 2170139260152591536279327/20000000000000000000000000 -36933212634955575379662987/500000000000000000000000000 7619600538775001064539353/5000000000000000000000000 -37762078712410508530794191/250000000000000000000000000
-115343345277117409688431929/500000000000000000000000000 -258745357126760172289656577/1000000000000000000000000000 50112815053669135198086999/1000000000000000000000000000 -25180120721914832393267319/500000000000000000000000000 85311988024628785020911183/250000000000000000000000000 -68862002194419797108091647/250000000000000000000000000 -530514605447842636394180893/1000000000000000000000000000 -25463266142300438387941427/31250000000000000000000000 -77000411367802716766522687/500000000000000000000000000 -144714173837260820851833293/500000000000000000000000000 -37762078712410508530794191/250000000000000000000000000 1727792375491925399813517521/500000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1021130078924207941972595819/1000000000000000000000000000 6635148546440856892288941/50000000000000000000000000 408837880837879736298366191/1000000000000000000000000000 -264283519005759123731182691/1000000000000000000000000000
6635148546440856892288941/50000000000000000000000000 2649711035372228673846609119/1000000000000000000000000000 11486305123679175219647891/100000000000000000000000000 44685047729161999377649787/125000000000000000000000000
408837880837879736298366191/1000000000000000000000000000 11486305123679175219647891/100000000000000000000000000 2818458397017677848321278739/1000000000000000000000000000 -34706941132257614067970699/1000000000000000000000000000
-264283519005759123731182691/1000000000000000000000000000 44685047729161999377649787/125000000000000000000000000 -34706941132257614067970699/1000000000000000000000000000 5489692992505736377555890463/1000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
1328971427151534512062149687/500000000000000000000000000 4787444449941470102095983/20000000000000000000000000 -32645235844020730027361211/100000000000000000000000000 -7583049619843840192862673/250000000000000000000000000 -5865170343935397001676091/125000000000000000000000000 -113955299555275832859657/1953125000000000000000000 -22001542431586531956323041/100000000000000000000000000 -261847865176674251374393447/1000000000000000000000000000 -297251588098016903031827151/1000000000000000000000000000 -1031191849218329989179795187/1000000000000000000000000000
4787444449941470102095983/20000000000000000000000000 1876140055461357830305823997/1000000000000000000000000000 225223589732221618483849679/1000000000000000000000000000 -144256644096558341088039351/500000000000000000000000000 -93948297212224824847978011/500000000000000000000000000 -61749076362553091803046761/250000000000000000000000000 -32061495441102860558853353/200000000000000000000000000 -117513003661257454386118939/200000000000000000000000000 -574295009838659273015294717/1000000000000000000000000000 -302915542407536205967954061/1000000000000000000000000000
-32645235844020730027361211/100000000000000000000000000 225223589732221618483849679/1000000000000000000000000000 880170875873248802949302819/500000000000000000000000000 -365959484993737326296049651/1000000000000000000000000000 -13062434722825976989552199/500000000000000000000000000 -83450262648138623762529601/500000000000000000000000000 169072490521206808891935089/1000000000000000000000000000 -381937565875676228067172893/500000000000000000000000000 -331826767583322248511327089/1000000000000000000000000000 -10659981452711563834571171/200000000000000000000000000
-7583049619843840192862673/250000000000000000000000000 -144256644096558341088039351/500000000000000000000000000 -365959484993737326296049651/1000000000000000000000000000 1633539060043374140020018517/1000000000000000000000000000 -60478379864589340271725387/250000000000000000000000000 -29156867543329998667288661/250000000000000000000000000 -262171068822152639668363443/500000000000000000000000000 23405873345961373754324639/100000000000000000000000000 -14870143441292901284918107/200000000000000000000000000 -402714415068505550904215637/1000000000000000000000000000
-5865170343935397001676091/125000000000000000000000000 -93948297212224824847978011/500000000000000000000000000 -13062434722825976989552199/500000000000000000000000000 -60478379864589340271725387/250000000000000000000000000 258060162532401629047527241/125000000000000000000000000 -90013488979360695638684123/500000000000000000000000000 -120871547814675294111186839/500000000000000000000000000 -28674022394381634087659191/200000000000000000000000000 -253660196206316906678768013/1000000000000000000000000000 -99548027136282675011724193/1000000000000000000000000000
-113955299555275832859657/1953125000000000000000000 -61749076362553091803046761/250000000000000000000000000 -83450262648138623762529601/500000000000000000000000000 -29156867543329998667288661/250000000000000000000000000 -90013488979360695638684123/500000000000000000000000000 326223311406698370703445657/250000000000000000000000000 -72846127043740018235676221/250000000000000000000000000 15818500668332037049045717/500000000000000000000000000 -30940662029502070374912269/250000000000000000000000000 -46162209730605802293599837/250000000000000000000000000
-22001542431586531956323041/100000000000000000000000000 -32061495441102860558853353/200000000000000000000000000 169072490521206808891935089/1000000000000000000000000000 -262171068822152639668363443/500000000000000000000000000 -120871547814675294111186839/500000000000000000000000000 -72846127043740018235676221/250000000000000000000000000 1803198567804063871965046239/1000000000000000000000000000 -18116597587370503266826389/62500000000000000000000000 -2612187670367442971234733/10000000000000000000000000 58100026072931638637593229/500000000000000000000000000
-261847865176674251374393447/1000000000000000000000000000 -117513003661257454386118939/200000000000000000000000000 -381937565875676228067172893/500000000000000000000000000 23405873345961373754324639/100000000000000000000000000 -28674022394381634087659191/200000000000000000000000000 15818500668332037049045717/500000000000000000000000000 -18116597587370503266826389/62500000000000000000000000 981944912857577082409755783/500000000000000000000000000 121926917358448398683507727/500000000000000000000000000 -155135602515298657295436093/500000000000000000000000000
-297251588098016903031827151/1000000000000000000000000000 -574295009838659273015294717/1000000000000000000000000000 -331826767583322248511327089/1000000000000000000000000000 -14870143441292901284918107/200000000000000000000000000 -253660196206316906678768013/1000000000000000000000000000 -30940662029502070374912269/250000000000000000000000000 -2612187670367442971234733/10000000000000000000000000 121926917358448398683507727/500000000000000000000000000 1589913658953038212662379873/1000000000000000000000000000 48732443542865223982429391/1000000000000000000000000000
-1031191849218329989179795187/1000000000000000000000000000 -302915542407536205967954061/1000000000000000000000000000 -10659981452711563834571171/200000000000000000000000000 -402714415068505550904215637/1000000000000000000000000000 -99548027136282675011724193/1000000000000000000000000000 -46162209730605802293599837/250000000000000000000000000 58100026072931638637593229/500000000000000000000000000 -155135602515298657295436093/500000000000000000000000000 48732443542865223982429391/1000000000000000000000000000 3338417412255180474524557169/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
2197959273816676556343114719/1000000000000000000000000000 410212376276116737730873/20000000000000000000000000 21789478012503862386732693/125000000000000000000000000 -52484190883915703127538017/200000000000000000000000000 675380296670069230068091/8000000000000000000000000 148381674164171256241749179/500000000000000000000000000
410212376276116737730873/20000000000000000000000000 2561774585299712709707497461/1000000000000000000000000000 267115267667638916123486099/1000000000000000000000000000 67990443420631297154592303/250000000000000000000000000 97865475797912990823786383/500000000000000000000000000 -5283644607840664096012413/62500000000000000000000000
21789478012503862386732693/125000000000000000000000000 267115267667638916123486099/1000000000000000000000000000 1021339751310783950283522503/250000000000000000000000000 1121510427719941486978929/1000000000000000000000000000 266722282980323964206390251/1000000000000000000000000000 304600482569642955957985713/1000000000000000000000000000
-52484190883915703127538017/200000000000000000000000000 67990443420631297154592303/250000000000000000000000000 1121510427719941486978929/1000000000000000000000000000 548791861404436374261015951/200000000000000000000000000 33861291284597712524750007/200000000000000000000000000 -69971148150120905319965469/250000000000000000000000000
675380296670069230068091/8000000000000000000000000 97865475797912990823786383/500000000000000000000000000 266722282980323964206390251/1000000000000000000000000000 33861291284597712524750007/200000000000000000000000000 472937181363350241395579019/200000000000000000000000000 28467272352145740972149489/250000000000000000000000000
148381674164171256241749179/500000000000000000000000000 -5283644607840664096012413/62500000000000000000000000 304600482569642955957985713/1000000000000000000000000000 -69971148150120905319965469/250000000000000000000000000 28467272352145740972149489/250000000000000000000000000 638228310802190265997422157/250000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
5404877973700482932224360407/1000000000000000000000000000 -240634561547207847322365661/62500000000000000000000000 -1213622809695661760281130423/1000000000000000000000000000 31389608019569896271396083/100000000000000000000000000 -424093836137314929142809547/1000000000000000000000000000 802584000360477584417007737/1000000000000000000000000000 2270844815441093590684110029/1000000000000000000000000000 118613922469975122243717367/1000000000000000000000000000 -946428304338266671922398143/1000000000000000000000000000
-240634561547207847322365661/62500000000000000000000000 2742648044627586638400454247/1000000000000000000000000000 216130387511664114185131959/250000000000000000000000000 -111801592586544402097144559/500000000000000000000000000 151051157468149522158517473/500000000000000000000000000 -8933108666024118429731963/15625000000000000000000000 -1617631329815327128615366267/1000000000000000000000000000 -84494367761829661400193781/1000000000000000000000000000 168546532509253337663429579/250000000000000000000000000
-1213622809695661760281130423/1000000000000000000000000000 216130387511664114185131959/250000000000000000000000000 606116393728920879621064807/500000000000000000000000000 -84571481141428282373816561/500000000000000000000000000 1099438412312893597407041/125000000000000000000000000 -39238185115099997904443509/200000000000000000000000000 -254950165139912202973683141/500000000000000000000000000 -43084311174446760561453099/200000000000000000000000000 53623706790528046767266967/500000000000000000000000000
31389608019569896271396083/100000000000000000000000000 -111801592586544402097144559/500000000000000000000000000 -84571481141428282373816561/500000000000000000000000000 38955315009613479301359247/125000000000000000000000000 -29222147267699492131155123/500000000000000000000000000 -48691627352245567511712127/500000000000000000000000000 16485323275673566584243691/125000000000000000000000000 -21459580357998204994251/390625000000000000000000 -37257838629548824813135829/500000000000000000000000000
-424093836137314929142809547/1000000000000000000000000000 151051157468149522158517473/500000000000000000000000000 1099438412312893597407041/125000000000000000000000000 -29222147267699492131155123/500000000000000000000000000 81806839308853587766095827/62500000000000000000000000 -205863047492612913314890473/1000000000000000000000000000 -44545468560629814580101851/250000000000000000000000000 -115734970768147746606011569/1000000000000000000000000000 -69078726995531534380417201/250000000000000000000000000
802584000360477584417007737/1000000000000000000000000000 -8933108666024118429731963/15625000000000000000000000 -39238185115099997904443509/200000000000000000000000000 -48691627352245567511712127/500000000000000000000000000 -205863047492612913314890473/1000000000000000000000000000 1093527539781444811193129483/1000000000000000000000000000 337203490442910552859634539/1000000000000000000000000000 -23293806127729206567588123/1000000000000000000000000000 -327521161702059624037696613/1000000000000000000000000000
2270844815441093590684110029/1000000000000000000000000000 -1617631329815327128615366267/1000000000000000000000000000 -254950165139912202973683141/500000000000000000000000000 16485323275673566584243691/125000000000000000000000000 -44545468560629814580101851/250000000000000000000000000 337203490442910552859634539/1000000000000000000000000000 954089287659736616021000361/1000000000000000000000000000 3114707351798814455319193/62500000000000000000000000 -4970491063328384098272669/12500000000000000000000000
118613922469975122243717367/1000000000000000000000000000 -84494367761829661400193781/1000000000000000000000000000 -43084311174446760561453099/200000000000000000000000000 -21459580357998204994251/390625000000000000000000 -115734970768147746606011569/1000000000000000000000000000 -23293806127729206567588123/1000000000000000000000000000 3114707351798814455319193/62500000000000000000000000 1427611003707139065817127/4000000000000000000000000 -103364077856540223178665271/1000000000000000000000000000
-946428304338266671922398143/1000000000000000000000000000 168546532509253337663429579/250000000000000000000000000 53623706790528046767266967/500000000000000000000000000 -37257838629548824813135829/500000000000000000000000000 -69078726995531534380417201/250000000000000000000000000 -327521161702059624037696613/1000000000000000000000000000 -4970491063328384098272669/12500000000000000000000000 -103364077856540223178665271/1000000000000000000000000000 774830867438733583764410159/500000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
4927434291993548803813172847/1000000000000000000000000000 -2375728229715695743/500000000000000000000000000 -697947572784510310905901/976562500000000000000000 357349150268930927154114737/500000000000000000000000000 714698316545978925320911069/1000000000000000000000000000 -4356693784425789811645001/12500000000000000000000000 2188100536614184983/1000000000000000000000000000
-2375728229715695743/500000000000000000000000000 1744128704743490605855540309/1000000000000000000000000000 -38496045702765860482716967/1000000000000000000000000000 3849606293463648450583779/100000000000000000000000000 -38496061834486983304961539/1000000000000000000000000000 211233587694712337/500000000000000000000000000 -52239366228851001441125423/500000000000000000000000000
-697947572784510310905901/976562500000000000000000 -38496045702765860482716967/1000000000000000000000000000 751930365891875452505205399/250000000000000000000000000 -505957719079178073585096037/500000000000000000000000000 -1036755800695718184559895159/1000000000000000000000000000 85251312069539862765056969/1000000000000000000000000000 116810613416078079783990793/1000000000000000000000000000
357349150268930927154114737/500000000000000000000000000 3849606293463648450583779/100000000000000000000000000 -505957719079178073585096037/500000000000000000000000000 187982591625089937559233439/62500000000000000000000000 -239762598513255200860814717/250000000000000000000000000 -42625643841443089894339517/500000000000000000000000000 -7300663838851190953345591/62500000000000000000000000
714698316545978925320911069/1000000000000000000000000000 -38496061834486983304961539/1000000000000000000000000000 -1036755800695718184559895159/1000000000000000000000000000 -239762598513255200860814717/250000000000000000000000000 187982602258632147712988571/62500000000000000000000000 -8525130973693074069296517/100000000000000000000000000 116810624124780279089726327/1000000000000000000000000000
-4356693784425789811645001/12500000000000000000000000 211233587694712337/500000000000000000000000000 85251312069539862765056969/1000000000000000000000000000 -42625643841443089894339517/500000000000000000000000000 -8525130973693074069296517/100000000000000000000000000 2196198632573931182778054499/1000000000000000000000000000 -472429533940457123/500000000000000000000000000
2188100536614184983/1000000000000000000000000000 -52239366228851001441125423/500000000000000000000000000 116810613416078079783990793/1000000000000000000000000000 -7300663838851190953345591/62500000000000000000000000 116810624124780279089726327/1000000000000000000000000000 -472429533940457123/500000000000000000000000000 220607562147235958067877957/250000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
3315322883938185758550479453/1000000000000000000000000000 -143669783578066910499834033/1000000000000000000000000000 -229631705429129664639238597/1000000000000000000000000000 416508363492703957112533/125000000000000000000000000 -744245866271270396426653383/1000000000000000000000000000 -413762876725081325883079003/1000000000000000000000000000 -35099606187494131655325761/250000000000000000000000000 -37941699090372895733905399/500000000000000000000000000 -181622365401353353916815359/1000000000000000000000000000 9415348457473171259851881/125000000000000000000000000 -81561749647008006619065291/200000000000000000000000000 -88577385557106241506925967/1000000000000000000000000000
-143669783578066910499834033/1000000000000000000000000000 3698270367683327896143431797/1000000000000000000000000000 -314558046720697386765892919/1000000000000000000000000000 -696247780666343715072181/62500000000000000000000000 -124963421563735039652530547/200000000000000000000000000 -570736407948917469731490127/1000000000000000000000000000 -81395323506798983786083317/500000000000000000000000000 -1088168674912882192768163/15625000000000000000000000 -63960928170097973260841647/1000000000000000000000000000 -105627461846751994677703/15625000000000000000000000 -245616118701614586211389697/1000000000000000000000000000 -153612578503547094735478193/1000000000000000000000000000
-229631705429129664639238597/1000000000000000000000000000 -314558046720697386765892919/1000000000000000000000000000 2070552461237216682079082381/1000000000000000000000000000 -325849833996227979092482409/1000000000000000000000000000 -86170772624059957226226891/1000000000000000000000000000 -21941007027743444590662649/1000000000000000000000000000 1923185368485854019859179/50000000000000000000000000 84027374435895798329669313/1000000000000000000000000000 -66815427672303832050550703/250000000000000000000000000 -121831005487986849936960599/500000000000000000000000000 -51189543489171794909459891/250000000000000000000000000 -24891879906901000262230891/500000000000000000000000000
416508363492703957112533/125000000000000000000000000 -696247780666343715072181/62500000000000000000000000 -325849833996227979092482409/1000000000000000000000000000 1360547422249586835315259523/1000000000000000000000000000 -113471182283859769093174381/500000000000000000000000000 2433392977896309803580863/250000000000000000000000000 -168685614946682368877922623/1000000000000000000000000000 -209978917675152127985430901/1000000000000000000000000000 -188744938105736996005483523/500000000000000000000000000 -147359241260052968270349947/1000000000000000000000000000 -9579144961561103861822983/500000000000000000000000000 82358295757480427910859867/500000000000000000000000000
-744245866271270396426653383/1000000000000000000000000000 -124963421563735039652530547/200000000000000000000000000 -86170772624059957226226891/1000000000000000000000000000 -113471182283859769093174381/500000000000000000000000000 1869401034533679936390380751/500000000000000000000000000 -135505012817242870110253931/1000000000000000000000000000 -11063966308145904875098027/50000000000000000000000000 -138965475205871072941138371/1000000000000000000000000000 35400022603533148188686341/1000000000000000000000000000 -1251058897644599823470327/100000000000000000000000000 -2379140441176907817679253/15625000000000000000000000 -28898882456819431453477107/200000000000000000000000000
-413762876725081325883079003/1000000000000000000000000000 -570736407948917469731490127/1000000000000000000000000000 -21941007027743444590662649/1000000000000000000000000000 2433392977896309803580863/250000000000000000000000000 -135505012817242870110253931/1000000000000000000000000000 13834251232447983777798767/8000000000000000000000000 -146774800712610666264586477/500000000000000000000000000 -186484400983752596789225011/500000000000000000000000000 -91739450877217442188290393/1000000000000000000000000000 -12868785328109650619914527/125000000000000000000000000 -33932456490792553513387641/200000000000000000000000000 166049529422261578975277749/1000000000000000000000000000
-35099606187494131655325761/250000000000000000000000000 -81395323506798983786083317/500000000000000000000000000 1923185368485854019859179/50000000000000000000000000 -168685614946682368877922623/1000000000000000000000000000 -11063966308145904875098027/50000000000000000000000000 -146774800712610666264586477/500000000000000000000000000 919818125963098466545881693/500000000000000000000000000 18831311688061995257074311/200000000000000000000000000 114831857979286432373825341/1000000000000000000000000000 -35902917592921916910111747/500000000000000000000000000 -705239378817085595816622889/1000000000000000000000000000 -627716854156296304589678259/1000000000000000000000000000
-37941699090372895733905399/500000000000000000000000000 -1088168674912882192768163/15625000000000000000000000 84027374435895798329669313/1000000000000000000000000000 -209978917675152127985430901/1000000000000000000000000000 -138965475205871072941138371/1000000000000000000000000000 -186484400983752596789225011/500000000000000000000000000 18831311688061995257074311/200000000000000000000000000 98581961133029172813849921/62500000000000000000000000 23010710256914119866011531/250000000000000000000000000 -54523526631835912992763227/1000000000000000000000000000 -282185219098059131640091469/1000000000000000000000000000 -192855853614081431051826587/250000000000000000000000000
-181622365401353353916815359/1000000000000000000000000000 -63960928170097973260841647/1000000000000000000000000000 -66815427672303832050550703/250000000000000000000000000 -188744938105736996005483523/500000000000000000000000000 35400022603533148188686341/1000000000000000000000000000 -91739450877217442188290393/1000000000000000000000000000 114831857979286432373825341/1000000000000000000000000000 23010710256914119866011531/250000000000000000000000000 324567437826522789323652499/250000000000000000000000000 -217962491075976626120997271/1000000000000000000000000000 -2365320722003537327464419/25000000000000000000000000 -2914195294734969612790169/12500000000000000000000000
9415348457473171259851881/125000000000000000000000000 -105627461846751994677703/15625000000000000000000000 -121831005487986849936960599/500000000000000000000000000 -147359241260052968270349947/1000000000000000000000000000 -1251058897644599823470327/100000000000000000000000000 -12868785328109650619914527/125000000000000000000000000 -35902917592921916910111747/500000000000000000000000000 -54523526631835912992763227/1000000000000000000000000000 -217962491075976626120997271/1000000000000000000000000000 151104830158780631459163883/250000000000000000000000000 -812714996665451480886787/40000000000000000000000000 -6707826742522366654048673/200000000000000000000000000
-81561749647008006619065291/200000000000000000000000000 -245616118701614586211389697/1000000000000000000000000000 -51189543489171794909459891/250000000000000000000000000 -9579144961561103861822983/500000000000000000000000000 -2379140441176907817679253/15625000000000000000000000 -33932456490792553513387641/200000000000000000000000000 -705239378817085595816622889/1000000000000000000000000000 -282185219098059131640091469/1000000000000000000000000000 -2365320722003537327464419/25000000000000000000000000 -812714996665451480886787/40000000000000000000000000 3399836016987209487201571857/1000000000000000000000000000 797966537385988769570441/62500000000000000000000000
-88577385557106241506925967/1000000000000000000000000000 -153612578503547094735478193/1000000000000000000000000000 -24891879906901000262230891/500000000000000000000000000 82358295757480427910859867/500000000000000000000000000 -28898882456819431453477107/200000000000000000000000000 166049529422261578975277749/1000000000000000000000000000 -627716854156296304589678259/1000000000000000000000000000 -192855853614081431051826587/250000000000000000000000000 -2914195294734969612790169/12500000000000000000000000 -6707826742522366654048673/200000000000000000000000000 797966537385988769570441/62500000000000000000000000 177691763091229829968651251/100000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
679367128177331200412269933/125000000000000000000000000 49938330204848891474591093/250000000000000000000000000 -28327544034252589979332757/500000000000000000000000000 -185830678746382243006485119/500000000000000000000000000
49938330204848891474591093/250000000000000000000000000 367498133206427570731295477/125000000000000000000000000 5761745434883130849169019/31250000000000000000000000 84612768584977528366588209/250000000000000000000000000
-28327544034252589979332757/500000000000000000000000000 5761745434883130849169019/31250000000000000000000000 2896822145818036991804189477/1000000000000000000000000000 604579283611866657380275803/1000000000000000000000000000
-185830678746382243006485119/500000000000000000000000000 84612768584977528366588209/250000000000000000000000000 604579283611866657380275803/1000000000000000000000000000 2337183434802888749957640981/1000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
271452361125915919267413439/250000000000000000000000000 -3560152874615234752427529/125000000000000000000000000 -4608913443834047335580161/125000000000000000000000000 -161766986595995737129699183/1000000000000000000000000000 -8023179686686515432228997/250000000000000000000000000 -37175695145644802095376673/500000000000000000000000000
-3560152874615234752427529/125000000000000000000000000 420205359044742499777172223/1000000000000000000000000000 -33882399767573357977310353/500000000000000000000000000 -77195351396007928581029829/1000000000000000000000000000 -81774324313182572717568231/1000000000000000000000000000 -14742182339140375686516277/500000000000000000000000000
-4608913443834047335580161/125000000000000000000000000 -33882399767573357977310353/500000000000000000000000000 28918199107614881708890013/125000000000000000000000000 101781837488796686756333/62500000000000000000000000 -831093172741517981491499/20000000000000000000000000 -2099834221308746734107589/125000000000000000000000000
-161766986595995737129699183/1000000000000000000000000000 -77195351396007928581029829/1000000000000000000000000000 101781837488796686756333/62500000000000000000000000 513402597438142415639640011/1000000000000000000000000000 -27102783756390257683676489/500000000000000000000000000 -22847566102981970615658899/500000000000000000000000000
-8023179686686515432228997/250000000000000000000000000 -81774324313182572717568231/1000000000000000000000000000 -831093172741517981491499/20000000000000000000000000 -27102783756390257683676489/500000000000000000000000000 147174409369488280619852363/1000000000000000000000000000 -1914819168656883207462149/125000000000000000000000000
-37175695145644802095376673/500000000000000000000000000 -14742182339140375686516277/500000000000000000000000000 -2099834221308746734107589/125000000000000000000000000 -22847566102981970615658899/500000000000000000000000000 -1914819168656883207462149/125000000000000000000000000 36826951612366950828757311/250000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
409689852972736267613216587/200000000000000000000000000 -201525120704812478498582973/200000000000000000000000000 -104082371562593761140057421/200000000000000000000000000 -7404964032794564549175893/250000000000000000000000000 14809928363228061646506893/500000000000000000000000000 -5923971222509010117130471/200000000000000000000000000 9010718268129940641192551/250000000000000000000000000 -114216547463082282873369049/1000000000000000000000000000 -9975550664353342533261963/200000000000000000000000000 41023577244222423764973097/500000000000000000000000000
-201525120704812478498582973/200000000000000000000000000 81937970724194936639429689/40000000000000000000000000 -520411858191506872293222027/1000000000000000000000000000 29619854007470601793479717/1000000000000000000000000000 -14809926931070747652147019/500000000000000000000000000 1184794212575396482006093/40000000000000000000000000 36042870114024190863245861/1000000000000000000000000000 -24938876495365771408732879/500000000000000000000000000 -22843309520898949733471211/200000000000000000000000000 41023577607179721944668119/500000000000000000000000000
-104082371562593761140057421/200000000000000000000000000 -520411858191506872293222027/1000000000000000000000000000 8001755086641052082755391/3906250000000000000000000 -3702482029825138203604963/125000000000000000000000000 1184794225822180359892637/40000000000000000000000000 14809928457115570475902483/500000000000000000000000000 -7208573274492784902291227/200000000000000000000000000 20511789922708628553544281/250000000000000000000000000 82047160389191082821313743/1000000000000000000000000000 -114216563736293566327212689/1000000000000000000000000000
-7404964032794564549175893/250000000000000000000000000 29619854007470601793479717/1000000000000000000000000000 -3702482029825138203604963/125000000000000000000000000 907930862080002602525554927/500000000000000000000000000 -766863403209406169420719311/1000000000000000000000000000 -262249586406747333894439401/500000000000000000000000000 -347319340519549669/1000000000000000000000000000 -10476689726269613408333443/500000000000000000000000000 20953378739485251603846737/1000000000000000000000000000 -20953381164364224950917919/1000000000000000000000000000
14809928363228061646506893/500000000000000000000000000 -14809926931070747652147019/500000000000000000000000000 1184794225822180359892637/40000000000000000000000000 -766863403209406169420719311/1000000000000000000000000000 363172344106692369036945621/200000000000000000000000000 -524499171956101936282932547/1000000000000000000000000000 583685545174769541/250000000000000000000000000 327396615329479917217519/15625000000000000000000000 -10476691390042592548623377/500000000000000000000000000 20953376155716837981777833/1000000000000000000000000000
-5923971222509010117130471/200000000000000000000000000 1184794212575396482006093/40000000000000000000000000 14809928457115570475902483/500000000000000000000000000 -262249586406747333894439401/500000000000000000000000000 -524499171956101936282932547/1000000000000000000000000000 226982715958566469986478293/125000000000000000000000000 -1084897164175376491/1000000000000000000000000000 -2619172212238625774886399/125000000000000000000000000 20953376912300720104116189/1000000000000000000000000000 4190675119217755942701397/200000000000000000000000000
9010718268129940641192551/250000000000000000000000000 36042870114024190863245861/1000000000000000000000000000 -7208573274492784902291227/200000000000000000000000000 -347319340519549669/1000000000000000000000000000 583685545174769541/250000000000000000000000000 -1084897164175376491/1000000000000000000000000000 166039733706881966286737999/200000000000000000000000000 -1073264013203796630556367/50000000000000000000000000 -4293056090527766756223099/200000000000000000000000000 2683159950929675440369529/125000000000000000000000000
-114216547463082282873369049/1000000000000000000000000000 -24938876495365771408732879/500000000000000000000000000 20511789922708628553544281/250000000000000000000000000 -10476689726269613408333443/500000000000000000000000000 327396615329479917217519/15625000000000000000000000 -2619172212238625774886399/125000000000000000000000000 -1073264013203796630556367/50000000000000000000000000 446633331986089137941880219/500000000000000000000000000 -261375447823005601072587207/500000000000000000000000000 -46314472315743497543741057/250000000000000000000000000
-9975550664353342533261963/200000000000000000000000000 -22843309520898949733471211/200000000000000000000000000 82047160389191082821313743/1000000000000000000000000000 20953378739485251603846737/1000000000000000000000000000 -10476691390042592548623377/500000000000000000000000000 20953376912300720104116189/1000000000000000000000000000 -4293056090527766756223099/200000000000000000000000000 -261375447823005601072587207/500000000000000000000000000 178653332733921145666255767/200000000000000000000000000 -11578618149178176037177137/62500000000000000000000000
41023577244222423764973097/500000000000000000000000000 41023577607179721944668119/500000000000000000000000000 -114216563736293566327212689/1000000000000000000000000000 -20953381164364224950917919/1000000000000000000000000000 20953376155716837981777833/1000000000000000000000000000 4190675119217755942701397/200000000000000000000000000 2683159950929675440369529/125000000000000000000000000 -46314472315743497543741057/250000000000000000000000000 -11578618149178176037177137/62500000000000000000000000 893266640209837210695363879/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1908178574497403809797397/4000000000000000000000000 -23720142806344844706098749/250000000000000000000000000 -1665839903324306347024537/250000000000000000000000000 -86526378112743055871661447/125000000000000000000000000 11176958376375939361757973/100000000000000000000000000 5828083826673459211488723/250000000000000000000000000
-23720142806344844706098749/250000000000000000000000000 377420558699037529820303/20000000000000000000000000 331322968221327853913899/250000000000000000000000000 34418884232834759187259683/250000000000000000000000000 -5557531239928464655071117/250000000000000000000000000 -463664713074223207895337/100000000000000000000000000
-1665839903324306347024537/250000000000000000000000000 331322968221327853913899/250000000000000000000000000 10002131944769869619331827/50000000000000000000000000 604300220131162522515879/62500000000000000000000000 -6028149618506607072075807/62500000000000000000000000 -8512324340844066721823301/125000000000000000000000000
-86526378112743055871661447/125000000000000000000000000 34418884232834759187259683/250000000000000000000000000 604300220131162522515879/62500000000000000000000000 20088522506212733951616683/20000000000000000000000000 -40545543861422023127687873/250000000000000000000000000 -8456784613703510447055063/250000000000000000000000000
11176958376375939361757973/100000000000000000000000000 -5557531239928464655071117/250000000000000000000000000 -6028149618506607072075807/62500000000000000000000000 -40545543861422023127687873/250000000000000000000000000 178876484296305752676570923/500000000000000000000000000 -1975881490092637968350433/15625000000000000000000000
5828083826673459211488723/250000000000000000000000000 -463664713074223207895337/100000000000000000000000000 -8512324340844066721823301/125000000000000000000000000 -8456784613703510447055063/250000000000000000000000000 -1975881490092637968350433/15625000000000000000000000 535283847881822508602761197/500000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 795766003773073005792369603/500000000000000000000000000 -84497322645392021678613761/125000000000000000000000000 -457776723665595867457653951/1000000000000000000000000000 0/1 -19440499468591214927150171/1000000000000000000000000000 9720249276954042810478173/500000000000000000000000000 -9720249581452823681932593/500000000000000000000000000
0/1 0/1 0/1 -84497322645392021678613761/125000000000000000000000000 198941500861976916505533507/125000000000000000000000000 -91555344544851179991476753/200000000000000000000000000 0/1 19440498646271821916864641/1000000000000000000000000000 -1944049860343041786315563/100000000000000000000000000 9720249697714596998021753/500000000000000000000000000
0/1 0/1 0/1 -457776723665595867457653951/1000000000000000000000000000 -91555344544851179991476753/200000000000000000000000000 1591532012785714281188540181/1000000000000000000000000000 0/1 -9720250536006303645434247/500000000000000000000000000 19440500442941767361924577/1000000000000000000000000000 19440501608748963103966383/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -19440499468591214927150171/1000000000000000000000000000 19440498646271821916864641/1000000000000000000000000000 -9720250536006303645434247/500000000000000000000000000 0/1 1980764274201527604878056397/1000000000000000000000000000 -1032627748752474239977121871/1000000000000000000000000000 -474068282786698706041427417/1000000000000000000000000000
0/1 0/1 0/1 9720249276954042810478173/500000000000000000000000000 -1944049860343041786315563/100000000000000000000000000 19440500442941767361924577/1000000000000000000000000000 0/1 -1032627748752474239977121871/1000000000000000000000000000 990382136803291903756853361/500000000000000000000000000 -237034140921893433443538921/500000000000000000000000000
0/1 0/1 0/1 -9720249581452823681932593/500000000000000000000000000 9720249697714596998021753/500000000000000000000000000 19440501608748963103966383/1000000000000000000000000000 0/1 -474068282786698706041427417/1000000000000000000000000000 -237034140921893433443538921/500000000000000000000000000 198076429934943682617973323/100000000000000000000000000

